Home Up Next Random
A \(\mathcal{C}\) instance, where \(\mathcal{C}\) is a schema, i.e. a finitely-presented category.
A functor \(\mathcal{C} \xrightarrow{I} \mathbf{Set}\)